- Quantorenlogik
- Prädikatenlogik
Universal-Lexikon. 2012.
Universal-Lexikon. 2012.
Quantorenlogik — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenlogik — Quantorenlogik * * * I Prädikatenlogik, das Teilgebiet der Logik, das sich mit den Aussagen beschäftigt, die mithilfe von Prädikaten und Quantoren gebildet werden. II Prädikatenlogik [lat. praedicatio »Aussage«] (Prädikatenkalkül), Logik. * * … Universal-Lexikon
Charles Peirce — Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US amerikanischer Mathematiker … Deutsch Wikipedia
Charles S. Peirce — Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US amerikanischer Mathematiker … Deutsch Wikipedia
Nominalismusstreit — Das Universalienproblem (auch: Universalienstreit, Nominalismusstreit) betrifft die Frage, ob es Allgemeinbegriffe wirklich gibt oder ob sie menschliche Konstruktionen sind. Als Universalien werden Allgemeinbegriffe wie beispielsweise „Mensch“… … Deutsch Wikipedia
Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck … Deutsch Wikipedia
Universalienstreit — Das Universalienproblem (auch: Universalienstreit, Nominalismusstreit) betrifft die Frage, ob es Allgemeinbegriffe wirklich gibt oder ob sie menschliche Konstruktionen sind. Als Universalien werden Allgemeinbegriffe wie beispielsweise „Mensch“… … Deutsch Wikipedia
Via antiqua, via moderna — Das Universalienproblem (auch: Universalienstreit, Nominalismusstreit) betrifft die Frage, ob es Allgemeinbegriffe wirklich gibt oder ob sie menschliche Konstruktionen sind. Als Universalien werden Allgemeinbegriffe wie beispielsweise „Mensch“… … Deutsch Wikipedia
Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de … Deutsch Wikipedia
Aussagenvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… … Deutsch Wikipedia